On the Jordan-Hölder decomposition of proof nets
نویسندگان
چکیده
Having deened a notion of homology for paired graphs, M etayer ((Ma]) proves a ho-mological correctness criterion for proof nets, and states that for any proof net G there exists a Jordan-HH older decomposition of H 0 (G). This decomposition is determined by a certain enumeration of the pairs in G. We correct his proof of this fact and show that there exists a 1-1 correspondence between these Jordan-HH older decompositions of H 0 (G) and the possiblèconstruction-orders' of the par-net underlying G.
منابع مشابه
A new proof for the Banach-Zarecki theorem: A light on integrability and continuity
To demonstrate more visibly the close relation between thecontinuity and integrability, a new proof for the Banach-Zareckitheorem is presented on the basis of the Radon-Nikodym theoremwhich emphasizes on measure-type properties of the Lebesgueintegral. The Banach-Zarecki theorem says that a real-valuedfunction $F$ is absolutely continuous on a finite closed intervalif and only if it is continuo...
متن کاملThe Jordan-Hölder Theorem
This submission contains theories that lead to a formalization of the proof of the Jordan-Hölder theorem about composition series of finite groups. The theories formalize the notions of isomorphism classes of groups, simple groups, normal series, composition series, maximal normal subgroups. Furthermore, they provide proofs of the second isomorphism theorem for groups, the characterization theo...
متن کاملLagrangians , stable bundles and mean curvature flow
We make a conjecture about mean curvature flow of Lagrangian submanifolds of Calabi-Yau manifolds, expanding on that of [Th]. We give new results about the stability condition, and propose a Jordan-Hölder-type decomposition of (special) Lagrangians. The main results are the uniqueness of special Lagrangians in hamiltonian deformation classes of Lagrangians, under mild conditions, and a proof of...
متن کاملOn p-semilinear transformations
In this paper, we introduce $p$-semilinear transformations for linear algebras over a field ${bf F}$ of positive characteristic $p$, discuss initially the elementary properties of $p$-semilinear transformations, make use of it to give some characterizations of linear algebras over a field ${bf F}$ of positive characteristic $p$. Moreover, we find a one-to-one correspondence between $p$-semiline...
متن کاملInfinite-dimensional versions of the primary, cyclic and Jordan decompositions
The famous primary and cyclic decomposition theorems along with the tightly related rational and Jordan canonical forms are extended to linear spaces of infinite dimensions with counterexamples showing the scope of extensions.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Arch. Math. Log.
دوره 37 شماره
صفحات -
تاریخ انتشار 1997